Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
نویسندگان
چکیده
منابع مشابه
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
This paper is a sequel to [19] and continues the study of quantum logic via dagger kernel categories. It develops the relation between these categories and both orthomodular lattices and Foulis semigroups. The relation between the latter two notions has been uncovered in the 1960s. The current categorical perspective gives a broader context and reconstructs this relationship between orthomodula...
متن کاملQuantum Logic in Dagger Kernel Categories
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The resulting structures turn out to (1) encompass many examples of interest, such as categories of relations, partial injections, Hilbert spaces (also modulo phase), and Boolean algebras, and (2) have interesting categori...
متن کاملOrthomodular Lattices
The main result of the article is the solution to the problem of short axiomatizations of orthomodular ortholattices. Based on EQP/Otter results [10], we gave a set of three equations which is equivalent to the classical, much longer equational basis of such a class. Also the basic example of the lattice which is not orthomodular, i.e. benzene (or B6) is defined in two settings – as a relationa...
متن کاملOrthomodular Lattices and Quantales
Let L be a complete orthomodular lattice. There is a one to one correspondence between complete boolean subalgebras of L contained in the center of L and endomorphisms j of L satisfying the Borceux-Van den Bossche conditions.
متن کاملMonads on Dagger Categories
The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when all structure respects the dagger: the monad and adjunctions should preserve the dagger, and the monad and its algebras should satisfy the so-called Frobenius law. Then any monad resolves as an adjunction, with extremal solutions given by the categories of Kleis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2010
ISSN: 1860-5974
DOI: 10.2168/lmcs-6(2:1)2010